Wastholm.com

If the volume to be reduced is the root partition that you currently have booted, then you won't be able to unmount, and a somewhat more involved procedure is needed.